A Probabilistic Logic for Reasoning about Uncertain Temporal Information
نویسندگان
چکیده
The main goal of this work is to present the proof-theoretical and model-theoretical approach to a probabilistic logic which allows reasoning about temporal information. We extend both the language of linear time logic and the language of probabilistic logic, allowing statements like “A will always hold”and “the probability that A will hold in next moment is at least the probability that B will always hold,” where A and B are arbitrary statements. We axiomatize this logic, provide corresponding semantics and prove that the axiomatization is sound and strongly complete. We show that the problem of deciding decidability is PSPACE-complete, no worse than that of linear time logic.
منابع مشابه
Reasoning with Probabilities , Time And
Over the years probability theory has emerged as the leading way of dealing with uncertainty in AI and Databases. However, application of probabilistic methods to diierent frameworks has always been a problem as the two main goals of such an application | eeciency and correctness | are often at odds with each other. This is so because diierent dependencies between the events considered cause di...
متن کاملObservations and the Probabilistic Situation Calculus
In this article we propose a Probabilistic Situation Calculus logical language to represent and reason with knowledge about dynamical worlds in which actions have uncertain effects. Two essential tasks are addressed when reasoning about change in worlds: Probabilistic Temporal Projection and Probabilistic Belief Update. Uncertain effects are modeled by dividing an action into two subparts: a de...
متن کاملAn Expressive Probabilistic Temporal Logic
This paper argues that a combined treatment of probabilities, time and actions is essential for an appropriate logical account of the notion of probability; and, based on this intuition, describes an expressive probabilistic temporal logic for reasoning about actions with uncertain outcomes. The logic is modal and higher-order : modalities annotated by actions are used to express possibility an...
متن کاملPLASMA: Combining Predicate Logic and Probability for Information Fusion and Decision Support
Decision support and information fusion in complex domains requires reasoning about inherently uncertain properties of and relationships among varied and often unknown number of entities interacting in differing and often unspecified ways. Tractable probabilistic reasoning about such complex situations requires combining efficient inference with logical reasoning about which variables to includ...
متن کاملSubjective Networks: Prospectives and Challenges
Subjective logic is a formalism for representing and reasoning under uncertain probabilistic information, with an explicit treatment of the uncertainty about the probability distributions. We introduce subjective networks as graph-based structures that generalize Bayesian networks to the theory of subjective logic. We discuss the prospectives of the subjective networks representation and the ch...
متن کامل